试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

基于社会资本视角的“对口支援”西部高校理论解读

博特认为社会网络是一种社会资本，如果一个人能够成功运用网络的话。他的生活就能大大改善。所谓结构洞就是没有重复的信息源，而且是最为有效率的网络结构本文采用博特“结构洞理论”对“对口支援”西部地区高等学校政策解读，试图围绕博特“结构洞理论”主要思想展开讨论，“对口支援”是以政府的政治导向为主的援助政策，通过“对口支援”使受援学校获得了快速发展,其主要原因之一就是支援学校为受援学校拓展了社会网络，受援学校通过支援学校结构洞的信息桥梁优势，整合社会网络结构的信息资源、机会资源和社会资源，从而获得学校生存和发展之本。     

The building evacuation problem with shared information

In this article, the Building Evacuation Problem with Shared Information (BEPSI) is formulated as a mixed integer linear program, where the objective is to determine the set of routes along which to send evacuees (supply) from multiple locations throughout a building (sources) to the exits (sinks) such that the total time until all evacuees reach the exits is minimized. The formulation explicitly incorporates the constraints of shared information in providing online instructions to evacuees, ensuring that evacuees departing from an intermediate or source location at a mutual point in time receive common instructions. Arc travel time and capacity, as well as supply at the nodes, are permitted to vary with time and capacity is assumed to be recaptured over time. The BEPSI is shown to be NP‐hard. An exact technique based on Benders decomposition is proposed for its solution. Computational results from numerical experiments on a real‐world network representing a four‐story building are given. Results of experiments employing Benders cuts generated in solving a given problem instance as initial cuts in addressing an updated problem instance are also provided. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

炮兵射击中若干“异常”现象的外弹道原理

在我军炮兵部队实弹射击实践和武器装备的射击试验中,经常出现一些与直觉不一致的所谓"异常"现象,困扰着部分炮兵指挥员和战斗人员.这些异常现象看似偶然且十分反常,实际上从外弹道理论上都是可以得到解释,而且是必然的.精心选取几个最常见的异常现象进行详细分析,以期为炮兵指挥员和战斗人员提供参考.     

应用Isight的复合材料桁架结构优化设计

轻质复合材料及其结构以其优异的力学性能在航天航空飞行器上得到了广泛应用。考察玻璃纤维/环氧复合材料方形截面桁架在典型弯曲载荷工况条件下的非线性结构承载性能。采用Isight集成平台对桁架结构进行多参数优化设计,获得满足结构刚度和承载性能要求的最轻质桁架结构的几何参数,并分析最优化结构在载荷作用下的结构非线性响应行为。结果表明采用Isight平台对桁架结构进行多参数优化设计具有较高的效率和可信度。     

挠性接管在轴对称载荷下的应力应变计算

针对目前挠性接管强度计算存在的不足,在充分考虑骨架层的弯曲刚度和扭转刚度对挠性接管强度影响的基础上,推导出在承受轴对称负荷(拉压、扭矩及内压)时,挠性接管及其加强筋的应变和外力的关系,为挠性接管的结构设计和强度计算提供了理论公式.     

基于不确定性理论的研制技术风险评估方法研究

分析了装备研制技术风险的含义,根据技术风险的特点建立了评价技术风险的指标体系。在技术风险度量中引入不确定性理论的概念,并建立了基于不确定性的技术风险的度量方法,对综合技术风险进行评价。最后通过实例验证了综合评价方法的可用性。     

火炮动态后坐装置有限元分析与优化

活塞缸是火炮动态后坐装置中的关键部件,其结构强度设计是整个实验装置强度设计的核心。利用I-DEAS软件,在对其进行实体建模和有限元网格划分的基础上,计算了活塞缸整体的应力应变值,得到了活塞缸工作时的应力应变图,并对其结构中应力状况恶劣的部位进行了结构优化。     

基于NNLI技术的齿轮箱故障诊断

将NNLI技术应用到齿轮箱的故障诊断中,提出了基于NNLI的特征提取方法,并将该方法与神经网络结合起来,进一步提出基于NNLI特征提取的神经网络故障诊断方法,给出了两种不同的网络分类器,通过齿轮箱故障诊断实例验证了该方法的有效性。     

陆军诸兵种合同作战兰切斯特方程的弹药消耗预测研究

描述了诸兵种合同作战的兰切斯特方程及其矩阵解,提出了一种通过兵力损耗换算弹药损耗的新思路,分析和确定了用该方法预测弹药消耗的相关参数,最后运用Matlab进行仿真计算,预测出了武器装备战损情况和弹药消耗情况。